div.header a {
  font-size: 1.25rem;
}
div.header a:hover {
  color: #007bff!important;
}
div.extend a:hover {
  color: #343a40!important;
}
div.header .origin {
  font-size: .4rem;
}
div.description {
  font-size: .875rem;
}
div.extend {
  font-size: .875rem;
}
